Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
621	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton
622	1 Distributed Basis Pursuit João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püschel Abstract—We propose a distributed algorithm for solving the Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 2013-07-05 07:45:59 NP-complete problems Algorithm Mathematical logic Theoretical computer science NP Eigenvalues and eigenvectors HeldKarp algorithm Belief propagation
623	PASS LOCATION TO FACILITATE THE DIRECT EXTRACTION OF WARNTZ NETWORKS FROM GRID DIGITAL ELEVATION MODELS David Wilcox and Harold Moellering Department of Geography Ohio State University Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:26:33 Cartography Algorithm Mathematical logic Theoretical computer science Robert Haralick Digital elevation model
624	Online Algorithms Susanne Albers Stefano Leonardiy Over the past twelve years, online algorithms have received considerable research interest. Online Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:05:41 Online algorithms Analysis of algorithms Theoretical computer science Metrical task system K-server problem Adversary model Algorithm Competitive analysis Randomized algorithm Approximation algorithm Computational learning theory
625	Fundamenta Informaticaei–ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-11-05 06:10:40 Theoretical computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Combinatorial optimization Fundamenta Informaticae Satisfiability Mathematical optimization
626	Lecture 14 Recursion Andries van D am © 2015 Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-10-27 00:27:14 Recursion Theoretical computer science Mathematical logic Computability theory Subroutines Factorial This Recursive definition While loop
627	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
628	BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Theoretical computer science Bigraph Logic in computer science Programming language semantics Mathematical logic Operational semantics ALGOL 68 Structure Actor model Modal logic
629	/tmp/scitmpfigure2.eps Add to Reading List Source URL: www.zoller.lu Language: English - Date: 2008-05-12 10:42:09 Algorithm Mathematical logic Theoretical computer science Randomized algorithm Artificial neural network
630	How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did Add to Reading List Source URL: gogognome.nl Language: English - Date: 2016-07-04 14:55:09 Sorting algorithms Formal methods Theoretical computer science Edsger W. Dijkstra Hoare logic Static program analysis Dutch national flag problem Algorithm Quicksort Recursion Invariant Loop invariant

UPDATE